Modular Modelling and Analysis of Time-dependent Systems
نویسندگان
چکیده
This paper describes an approach to the analysis of time-dependent systems which combines discrete-event simulation and model-checking techniques. The approach rests on Merlin and Farber’s Time Petri Nets (TimePNs) and is supported by a Java toolbox TPN Designer which enables graphical modelling, simulation and translation into UPPAAL/Timed Automata, for exhaustive state space verification, of modular TimePN models. The paper discusses the potential of the proposed approach through its application to a real-time system model.
منابع مشابه
An Improved Modular Modeling for Analysis of Closed-Cycle Absorption Cooling Systems
A detailed modular modeling of an absorbent cooling system is presented in this paper. The model including the key components is described in terms of design parameters, inputs, control variables, and outputs. The model is used to simulate the operating conditions for estimating the behavior of individual components and system performance, and to conduct a sensitivity analysis based on the give...
متن کاملModelling and Simulation of Low-Head Hydro Turbine for Small Signal Stability Analysis in Power System
The hydro turbine dynamics have a considerable influence on the dynamic stability of power system. In the study of dynamic stability, the system is modeled by the linear differential equations (small signal analysis). Small signal stability of power systems is needed in all conditions and only is dependent on the conditions of power system performance before commotion occurrence. This paper pr...
متن کاملNew Approach to Exponential Stability Analysis and Stabilization for Delayed T-S Fuzzy Markovian Jump Systems
This paper is concerned with delay-dependent exponential stability analysis and stabilization for continuous-time T-S fuzzy Markovian jump systems with mode-dependent time-varying delay. By constructing a novel Lyapunov-Krasovskii functional and utilizing some advanced techniques, less conservative conditions are presented to guarantee the closed-loop system is mean-square exponentially stable....
متن کاملFixed Point Results for Cyclic (α,β)-Admissible Type F-Contractions in Modular Spaces
In this paper, we prove the existence and uniqueness of fixed points for cyclic (α,β)-admissible type F-contraction and F−weak contraction under the setting of modular spaces, where the modular is convex and satisfying the ∆2-condition. Later, we prove some periodic point results for self-mappings on a modular space. We also give some examples to s...
متن کاملAdmissibility analysis for discrete-time singular systems with time-varying delays by adopting the state-space Takagi-Sugeno fuzzy model
This paper is pertained with the problem of admissibility analysis of uncertain discrete-time nonlinear singular systems by adopting the state-space Takagi-Sugeno fuzzy model with time-delays and norm-bounded parameter uncertainties. Lyapunov Krasovskii functionals are constructed to obtain delay-dependent stability condition in terms of linear matrix inequalities, which is dependent on the low...
متن کامل